void dummy();